Institutions for Simulations

4D geomechanical simulations for field development planning

3D and 4D geomechanical can be time-consuming to build and calibrate. However, once such a model is built, it is relative straightforward to use this model for various field development and management applications. In so doing, the return on the initial investment of time and effort in the creation of a 4D geomechanical model can be substantial. I present a case study where a 4D geomechanical m...

A Framework for Institutions Governing Institutions

Norms guide multi-agent systems away from being potentially anarchic towards a coordinated and collaborative society. Institutions provide an explicit, external representation of norms as well as the means to detect violations and other conditions. Each institution can be crafted individually to capture their designers’ goals, but this creates a challenge at higher levels of authority in guidin...

Institutions for Behaviour Specification

Capitalising on the profusion of modal logics that have been proposed for reactive system specification since [Pnueli 77], on current work that explores categorical formalisations of models of concurrency such as [Sassone et al 93], and on our own past work relating specification logics and such process models [Fiadeiro and Costa 93, Fiadeiro et al 93, Sernadas et al 94], we develop a notion of...

Institutions for Logic Programming

The compositionality of the semantics of logic programs with respect to (different varieties of) program union has been studied recently by a number of researchers. The approaches used can be considered quite ad-hoc in the sense that they provide, from scratch, the semantic constructions needed to ensure compositionality and, in some cases, full abstraction in the given framework. In this paper...

Institutions for Defectives